@CHARSET "UTF-8";

#resultDiv{
	border:1px solid #008000;
	width:400px;
	height:100px;
	font-size:15px;
	overflow:auto;
}